-
* --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
Kestrel Institute  provably correct 
www.kestrel.edu - 2009-04-09
-
Institut für elegante Mathematik, Gruppe eM, eM Institut
Alexander Grothendieck  algrotopoi  algrotopoide  cat top  eM Institut  euch3  Galois Connections  gruppe eM  Horst Herrlich  Kategorien Theorie  Leibnizianer  NDKS  NWDKS  NWECS  NWEKS  Rolf D. Brandt  topoide  topology editor  topology navigator 
www.algrotopoi.de - 2009-02-07
-
technology and philosophy, information sharing, citizen privacy, us privacy act of 1974, information flow, information flow framework, knowledge representation, ...
executable architecture  information flow framework  ontolog forum  OWL semantics  policy engine  semantic web expert  technology and philosophy  us privacy act of 1974 
www.rickmurphy.org - 2009-04-09
-
The latest news of mathematics and general sciences
basics mathematics  calculus and analysis 
www.thenewmath.com - 2009-04-03
|
|
|